<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>微分动力系统</title>
<link href="../../style/css.css" rel="stylesheet" type="text/css" />
</head>

<body>
    <div class="main">
        <div class="subject_top"></div>
        <div class="title1">3.理论计算机科学与信息技术方向简介</div>
        <div class="main1">理论计算机科学被称为计算机科学的数学基础。目前已建立了基于数理逻辑的算法理论、数论函数算法可计算的递归性、理想计算机（图灵机）等理论。</div>
        <div class="main1"><strong>格上拓扑学及Domain 理论方面：</strong>格上拓扑学（包含模糊拓扑学）以及近年来迅速发展的 Domain 理论等研究方向，在数学的许多分支及其他学科的研究中有着广泛的应用。其交叉领域的连续格与 Domain 理论产生于计算机程序设计语言的语义问题，以计算机为背景，是理论计算机科学的一个重要研究领域。连续格更以其丰富的数学结构成为众多数学工作者的研究对象。</div>
	<div class="main1"><strong>程序设计与软件开发方面：</strong>面向对象程序设计的思想和方法是吸收了软件工程领域中面向对象的概念和方法而发展起来的一种软件开发方法。它集封装性、继承性和多态性于一体，具有模块化、数据抽象程度高，具有良好的可复用、可维护、可扩充等特性。

        </div>
    </div>
</body>
</html>
